首页> 外文OA文献 >Formal verification of complex out-of-order pipelines by combining model-checking and theorem-proving

【2h】

Formal verification of complex out-of-order pipelines by combining model-checking and theorem-proving

机译：通过结合模型检验和定理证明对复杂的无序流水线进行形式验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Christian Jacobi;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal verification of fault tolerance using theorem-proving techniques [J] . Kljaich J. Jr., Smith B.T. IEEE Transactions on Computers . 1989,第3期

机译：使用定理证明技术对容错进行形式验证
2. Formal verification of intermittent fault diagnosability of discrete-event systems using model-checking [J] . Abderraouf Boussif, Mohamed Ghazel International journal of critical computer-based systems . 2018,第2期

机译：使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
3. Formal Verification of a Complex Pipelined Processor [J] . RAVI HOSABETTU, GANESH GOPALAKRISHNAN, MANDAYAM SRIVAS Formal Methods in System Design . 2003,第2期

机译：复杂流水线处理器的形式验证
4. Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving [C] . Christian Jacobi Computer Aided Verification . 2002

机译：通过模型检验和定理证明相结合的形式对复杂的无序管道进行形式验证
5. Automatic pipeline synthesis and formal verification from transactional datapath specifications. [D] . Nurvitadhi, Eriko. 2010

机译：根据交易数据路径规范自动进行管道综合和形式验证。
6. Formal Verification of Control Modules in Cyber-Physical Systems [O] . Iwona Grobelna 2020

机译：网络物理系统中控制模块的正式验证
7. Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution [O] . Takashi Takenaka, Junji Kitamichi, Teruo Higashino, 2014

机译：具有无序指令执行的流水线微处理器正确性的形式化设计验证
8. Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. [R] . Jones, R. B., Skakkebaek, J. U., Dill, D. L. 2002

机译：减少无序执行的形式验证中的手动抽象。

Formal verification of complex out-of-order pipelines by combining model-checking and theorem-proving

著录项

引文网络

相似文献

相关主题

期刊订阅